The Alchemist's Endgame: My Final Synthesis of p-adic Clojure and Legacy Code.
dev.to·11h·
Discuss: DEV
📝Lisp
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·1d
⚙Functional Programming
MiniRust
github.com·1h·
Discuss: Hacker News
🦀Rust
Indic NLP: AI4Bharat papers explainer part 1
shubhamg.bearblog.dev·2d·
Discuss: Hacker News
🧮Programming Language Theory
Issue 489
haskellweekly.news·1d·
Discuss: Hacker News
⚙Functional Programming
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1d·
Discuss: Hacker News
🧮Programming Language Theory
K2-Think: A Parameter-Efficient Reasoning System
arxiviq.substack.com·9h·
Discuss: Substack
🧭SMT Solvers
The Capability-Tractability Tradeoff (2023)
buttondown.com·4h·
Discuss: Hacker News
🧮Programming Language Theory
EdgeBERT: I Built My Own Neural Network Inference Engine in Rust
dev.to·14h·
Discuss: DEV
🦀Rust
Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
arxiv.org·1d
🔧Compiler Design
We Rebuilt Our SQL Parser in Rust: 3.3x Faster with Zero-Copy and Better Errors
databend.com·1d·
Discuss: Hacker News
🔧Compiler Design
Choosing Rust for LLM-generated code
runmat.org·7h·
Discuss: Hacker News
🔧Compiler Design
An introduction to program synthesis
mchav.github.io·1d·
Discuss: Hacker News, r/programming
🔧Compiler Design
Low-Rank Attention: Scaling Transformers Without the Quadratic Cost
lightcapai.medium.com·9h·
Discuss: Hacker News
📊Information Theory
Smarter nucleic acid design with NucleoBench and AdaBeam
research.google·1d
🎲Probabilistic Programming
[D] How to Efficiently Chunk Free-Form Bank Transaction Descriptions (Without NER Tagging)
reddit.com·6h·
Discuss: r/LLM
🤝Protocol Design
Lessons from Studying Two-Hop Latent Reasoning
lesswrong.com·1d
🧭SMT Solvers
I've been reading Ghostty's agent-generated bug fixes
ampcode.com·5h·
Discuss: Hacker News
🔧Compiler Design
BentoML Released llm-optimizer: An Open-Source AI Tool for Benchmarking and Optimizing LLM Inference - MarkTechPost
news.google.com·17h
🔧Compiler Design
The Road To JVM: How To Create A Brainfuck Interpreter
blog.codeminer42.com·1d
🔧Compiler Design